Perfil de Ravenscar — Saltar a navegación, búsqueda El perfil de Ravenscar es un subconjunto del lenguaje de programación Ada especialmente pensado para los sistemas de tiempo real. Impone ciertas restricciones a la parte concurrente del lenguaje para poder realizar… … Wikipedia Español
IRTAW — El IRTAW (International Real Time Ada Workshop) es un congreso científico sobre sistemas de tiempo real, centrado especialmente en el lenguaje de programación Ada aunque también se habla sobre otros lenguajes como Java para Tiempo Real. Los… … Wikipedia Español
Ada (lenguaje de programación) — Ada es un lenguaje de programación orientado a objetos y fuertemente tipado de forma estática que fue diseñado por Jean Ichbiah de CII Honeywell Bull por encargo del Departamento de Defensa de los Estados Unidos. Es un lenguaje multipropósito,… … Wikipedia Español
SPARK — Saltar a navegación, búsqueda Para otros usos de este término, véase Spark (desambiguación). SPARK es un lenguaje de programación especialmente diseñado para sistemas de alta integridad. Es un subconjunto anotado de Ada desarrollado por la… … Wikipedia Español